known function

已知函数